ideal logic f1